Messianic Prophecy

Henry Maudsley on Swedenborg's messianic psychosis.

BACKGROUND Creativity, religiosity and madness have long been thought to be aetiologically interrelated. METHOD Henry Maudsley's little known pathography of the 17th century Swedish philosopher and polymath, Emanuel Swedenborg, was examined. RESULTS Swedenborg developed a messianic psychosis in middle life, considered by Maudsley to be a monomania, possibly due to epilepsy. Many of Swedenbo...

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

Prelude, prophecy, and promise.

Computation by Prophecy

We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domai...

Prophecy and Theater

The paradigms used to examine the Hebrew prophetic literature are changing. This paper contributes to that change by developing a paradigm drawn from Drama Theory and applying that paradigm to the vision reports found in the book of Amos. The outcome is a form critical study that yields beneficial results in understanding both the design and flow of the visions as well as their integration with...